$\forall$$a$, $b$, $c$:$\mathbb{Q}$. ($\neg$($a$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ((($b$/$a$) $\ast$ $a$ $\ast$ $c$) = ($b$ $\ast$ $c$) $\in$ $\mathbb{Q}$)